index(dE; dL; pred?; info; p; r)
== mu((i.eqof(dE)(r,receives(dE; dL; pred?; info; p; sender(r); link(r))[i]))) 

latex

---

clarification:

index(dE; dL; pred?; info; p; r)
== mu((i.eqof(dE)(r,receives(dE; dL; pred?; info; p; sender(info;r); link(info;r))[i]))) 

latex

Definitions	index(dE; dL; pred?; info; p; r), mu(f), eqof(d), l[i], receives(dE; dL; pred?; info; p; e; l), sender(e), link(e)
FDL editor aliases	index